$\forall$$D$:dsys\{i:l\}, $P$:(\{${\it es}$:ES\{i\}$\mid$ d{-}es\{i:l\}($D$; ${\it es}$)\} $\rightarrow\mathbb{P}$\{i'\}).
\\[0ex]d{-}realizes\{i:l\}($D$; ${\it es}$.$P$(${\it es}$)) $\in$ $\mathbb{P}$\{i''\}